Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

relatively axiomatizable class

Толкование Перевод

1 relatively axiomatizable class

матем.

относительно аксиоматизируемый класс

English-Russian scientific dictionary > relatively axiomatizable class
2 relatively axiomatic class

Математика: относительно аксиоматизируемый класс (relatively axiomatizable)

Универсальный англо-русский словарь > relatively axiomatic class
3 class

1) класс; разряд; категория || классифицировать

2) качество; сорт

3) класс, группа ( в учебном заведении)

4) курс лекций, курс обучения

•

the senior class — последний год обучения

- abstract class

- abstraction class

- adjoint class

- almost universal class

- ambiguous class

- ambivalent class

- atomic class

- attainable class

- autodual class

- autoequivalence class

- axiomatizable class

- basic elementary class

- birational class

- bordism class

- canonical class

- canonically enumerable class

- categorical class

- central class

- characteristic class

- chromatic class

- class of accuracy

- class of classes

- class of finite subclasses

- class of game

- class of ship

- class of singularity

- closed class

- cobordism class

- cohomology class

- combinatorial class

- compatible class

- complete class

- completely simple class

- complex characteristic class

- complex class

- complexity class

- conceptual class

- conditional class

- conformal class

- conjugacy class

- consistent class

- constructible class

- contiguity class

- continuous class

- contraction of class

- contradictory class

- contrahomology class

- convergence class

- countable class

- crystal class

- cyclic class

- cyclotomic class

- deformation class

- density class

- denumerable class

- development class

- dichotomy class

- directed class

- discrete class

- disjunctively valid class

- divergence class

- divisor class

- elementarily closed class

- elementary class

- enumerably infinite class

- equational class

- equationally definable class

- equationally defined class

- ergodic class

- essential class

- essentially complete class

- exceptional class

- existential class

- exponential class

- extensional class

- factor class

- final class

- finite class

- finitely axiomatizable class

- functional class

- fundamental class

- general recursive class

- generalized inductive class

- generalized orientation class

- geometrical class

- grammatical class

- groundless class

- hereditary class

- hereditary class

- homomorphically closed class

- homotopy class

- hyperarithmetically independent class

- ideal class

- idele class

- improper class

- incompatibility class

- incongruent residue class

- inconsistent class

- indecomposable class

- indistinguishability class

- inductive class

- inductively ordered class

- inessential class

- integral cohomology class

- intersection class

- invariant class

- isobaric class

- isotopism class

- left class

- left-recursive class

- linear class

- linearly ordered class

- lineary independent class

- locally closed class

- locally defined class

- lower class

- maximal consistent class

- measure class

- minimal class

- modal class

- model class

- monotectonic class

- monotone class

- multiplicative class

- multiplicatively closed class

- negative class

- nil-isobaric class

- nilpotency class

- noncommunicating classes

- nonzero class

- normal class

- normalized class

- n-th homology class

- null class

- number class

- numerical class

- one-sided class

- open class

- open end class

- open sentence class

- open-and-closed class

- overload class

- pairwise-independent classes

- parametrization class

- partially ordered class

- pattern class

- periodic class

- pointed class

- polar class

- polarized class

- polytectonic class

- positive existential class

- precomplete class

- predicatively closed class

- preordered class

- primitive class

- principal class

- priority class

- projective class

- pseudoelementary class

- pure class

- qualitative class

- quality class

- quasianalytic class

- quasiaxiomatizable class

- quasiordered class

- quasiprimitive class

- quotient class

- rational cohomology class

- real characteristic class

- recursively enumerable class

- reducible class

- regular class

- relatively axiomatic class

- relatively axiomatizable class

- replete class

- replica complete class

- residue class

- right class

- right-recursive class

- saturated class

- saturation class

- second number class

- self-dual class

- semiinductive class

- senior class

- separating class

- shape class

- singular class

- small class

- split class

- stable class

- standardized class

- state class

- strongly complete class

- strongly connected class

- sublocally defined class

- surface finish class

- symmetry class

- total class

- totally ordered class

- tourist class

- trace class

- transgressive cohomology class

- transitive class

- two-sided class

- type class

- ultimate class

- ultraclosed class

- uncorrelated class

- undetermined class

- uniformly definable class

- unitary cohomology class

- universal class

- universally axiomatizable class

- universally existential class

- upper class

- valid class

- vanishing class

- virtual class

- weakly complete class

- weakly connected class

- weight class

- winding class

English-Russian scientific dictionary > class

См. также в других словарях:

Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

relatively axiomatizable class

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

relatively axiomatizable class

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: